a logical relation between propositions p and q of the form if p then q if p is true then q cannot be false
प्रपत्रों के पी और क्यू के बीच एक तार्किक संबंध अगर p फिर q अगर p सत्य है तो q गलत नहीं हो सकता